Fix widget-factory appearance, a bit

Use margins instead of border-width, for now.

diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui
index 34bddd54a28432ed74371849972bf9fc84b9c53c..5af53d6dfca32f54c21267788ad9dd5de3a06d56 100644 (file)
--- a/demos/widget-factory/widget-factory.ui
+++ b/demos/widget-factory/widget-factory.ui
@@ -433,6 +433,7 @@ Suspendisse feugiat quam quis dolor accumsan cursus.</property>
       <object class="GtkBox" id="box1">
         <property name="visible">1</property>
         <property name="orientation">vertical</property>
+        <property name="margin">10</property>
         <child>
           <object class="GtkStack" id="toplevel_stack">
             <property name="visible">1</property>
@@ -1780,6 +1781,7 @@ Suspendisse feugiat quam quis dolor accumsan cursus.</property>
                           <object class="GtkBox" id="page2box">
                             <property name="visible">1</property>
                             <property name="spacing">20</property>
+                            <property name="margin">10</property>
                             <child>
                               <object class="GtkLabel" id="page2note">
                                 <property name="visible">1</property>